Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
291	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
292	Sheaf Toposes for Realizability Steven Awodey∗ Philosophy Department Carnegie Mellon University Andrej Bauer† Department of Mathematics and Physics Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Lambda calculus Coproduct Topos theory Adjoint functors Topos Product Category Sheaf Limit Category theory Abstract algebra Sheaf theory
293	arXiv:1008.3145v1 [math.LO] 18 Aug 2010 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Algebraic structures Boolean algebra Model theory Algebraic logic Order theory Stone duality Interpretation Adjoint functors Sheaf Mathematics Mathematical logic Abstract algebra
294	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra
295	A SHEAF THEORETIC APPROACH TO MEASURE THEORY by Matthew Jackson B.Sc. (Hons), University of Canterbury, 1996 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Sheaf theory General topology Homological algebra Adjoint functors Sheaf Topos Gluing axiom Category Grothendieck topology Mathematics Category theory Abstract algebra
296	(February 23, [removed]Essential self-adjointness Paul Garrett [removed] 1. Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2012-02-23 16:03:36 Functional analysis Unbounded operator Self-adjoint operator Extensions of symmetric operators Friedrichs extension Hilbert space Eigenvalues and eigenvectors Adjoint functors Spectral theory of ordinary differential equations Operator theory Mathematical analysis Algebra
297	CHAPTER V THE FUNDAMENTAL THEOREMS OF HIGHER K-THEORY We now restrict our attention to exact categories and Waldhausen categories, where the extra structure enables us to use the following types of comparison theorems: Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2012-09-05 22:33:34 Homological algebra Algebraic topology Functors Homotopy theory Adjoint functors Exact functor Homotopy group Sheaf Morita equivalence Abstract algebra Algebra Topology
298	History A folk model structure on omega-cat Homology of rewriting (Anick/Squier 1987) Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2008-07-07 14:53:18 Adjoint functors Universal property Category theory Model category Pushout
299	Lightweight Monadic Programming in ML Nikhil Swamy Nataliya Guts Daan Leijen Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-05-16 12:51:55 Mathematical logic Mathematics Type theory Monad Type class Valuation Admissible rule Natural deduction Adjoint functors Functional programming Software engineering
300	Microsoft Word - Prazmowska_Polish coordination as adjunction_REVISED_v5_fin_corr Add to Reading List Source URL: cecils.btk.ppke.hu Language: English - Date: 2013-06-14 05:35:07 Syntactic categories Conjunct Adverbial Adjunct Syntax X-bar theory Phrase Steps and skips Adjoint functors Linguistics Coordination Grammar

UPDATE